Temporal logic in specification - proceedings : Altrincham, UK, April 8-10, 1987
- Författare
- (B. Banieqbal, H. Barringer, A. Pnueli (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1989 | Tyskland, Berlin, New York | vi, 448 sidor. |